Parallelizing Julia with a Non-invasive DSL Todd A. Anderson1 , Hai Liu1 , Lindsey Kuper1 , Ehsan Totoni1 , Jan Vitek2 , and Tatiana Shpeisman1 1 2

Source URL: thev.net

• Software engineering
• Computing
• Computer programming
• Array programming languages
• Parallel computing
• Functional languages
• High-level programming languages
• Object-oriented programming languages
• Array data type
• Array programming
• MATLAB
• Data parallelism

Allgemeine Geschäftsbedingungen der ITEMIS AG für Pflegeleistungen itemis AG Version 1.2.0, Allgemeine Geschäftsbedingungen der ITEMIS AG für Pflegeleistungen

Source URL: legal.itemis.com

Implementing Joux-Vitse’s Crossbred Algorithm for Solving MQ Systems over F2 on GPUs Ruben Niederhagen1 , Kai-Chun Ning2 , and Bo-Yin Yang3 1 2

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Numerical linear algebra
• Equations
• Linear algebra
• Hidden Field Equations
• Multivariate cryptography
• Gaussian elimination
• Recurrence relation
• Equation solving
• APMonitor
• BCD

arXiv:1711.03229v1 [cs.AR] 9 NovA Dwarf-based Scalable Big Data Benchmarking Methodology Wanling Gao1,2 , Lei Wang1,2 , Jianfeng Zhan ∗1,2 , Chunjie Luo1,2 , Daoyi Zheng1,2 , Zhen Jia4 , Biwei Xie1,2 , Chen

Source URL: arxiv.org

• Computing
• Concurrent computing
• Apache Software Foundation
• Parallel computing
• Cloud infrastructure
• Apache Hadoop
• Hadoop
• Benchmark
• Vertica
• PageRank
• Speedup
• MapReduce

FE_CH_FuW-softrelaunch_2-1

Source URL: www.fuw.ch

V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

Source URL: mebsout.github.io

Multivariate Public Key Cryptography Jintai Ding 1 2

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Abstract algebra
• Polynomials
• Computer algebra
• Multivariate cryptography
• Algebraic geometry
• Equations
• Hidden Field Equations
• Factorization
• Quadratic function
• Grbner basis

Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Information and communications technology
• Computer networking
• Technology
• Network protocols
• Data transmission
• Internet of things
• Vehicular ad hoc network
• Wireless ad hoc network
• Mobile ad hoc network
• Network packet

Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2

Source URL: www.cs.man.ac.uk

• Logic
• Automated theorem proving
• Propositional calculus
• Mathematical logic
• Logic programming
• Mathematics
• Rules of inference
• Resolution
• Clause
• Literal
• Unit propagation
• E theorem prover

Cryptanalysis of KeeLoq with COPACOBANA Martin Novotný1,2, Timo Kasper1 Horst Görtz Institute for IT-Security Ruhr University Bochum 1

Source URL: www.hyperelliptic.org

• Cryptography
• Radio electronics
• Block ciphers
• KeeLoq
• Rolling code
• Data Encryption Standard
• ICE